Use Cases as Views: A formal approach to Requirements Engineering in the United Process
نویسندگان
چکیده
In Requirements Engineering structural and functional requirements for a new software system are gathered, analyzed, and manifested. Unfortunately the connection between these aspects gets lost in the standard object oriented methodology and has to be re-established later on. Not only is this tedious work but the detection of conflicts and inconsistencies in early phases is hindered by the separation of static and dynamic aspects. We propose the use of graph transformations to specify the connection between these aspects. Based on what we call an integrated business model, consistency analysis at the requirements model level becomes possible.
منابع مشابه
Developing Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملApplication of triangulation approach in requirements engineering process: A study in analysis and design of the pediatrics epilepsy information system
Introduction: Requirements Engineering process is a crucial phase in software development. In order to achieve a successful design of health information systems (HISs), applying the best methodologies is essential. Therefore, the aim of the present study was to design pediatrics Epilepsy Information System (EPIS) as well as the use of triangulation approach in elicitation and validation of epil...
متن کاملSystem Engineering Implementation Process for Super-Systems
System engineering is one of the most powerful tools for comprehensive project management and control. This tool emphasized the life cycle of the projects, manages every single activity and helps manage the main elements of the project through a set of management and engineering processes. The goal of the current study is to use a system engineering approach in design phase in order or to meet ...
متن کاملEngineering Test Cases to Motivate the Formalization of an Aec Project Model as a Directed Acyclic Graph of Views and Dependencies
To perform specific tasks, Architecture, Engineering, and Construction (AEC) professionals construct task-specific engineering views from information in other engineering views. Each view contains project information that is structured for an engineer’s specific task; engineers are responsible for the information in their respective views. This paper presents industry test cases illustrating th...
متن کاملCIFECENTER FOR INTEGRATED FACILITY ENGINEERING Engineering Test Cases to Motivate the Formalization of an AEC Project Model as a Directed Acyclic Graph of Views and Dependencies
This paper presents industry test cases that illustrate the multi-disciplinary, constructive, iterative, and unique character of AEC projects. These test cases show that, to perform their tasks on these projects, AEC engineers construct task-specific engineering views from information in other engineering views. These engineers have difficulty constructing and integrating task-specific views on...
متن کامل